tupera tupera 由龟山达矢与中川敦子二人组成的设计师搭档。活跃于绘本、插画、创作工作坊、舞台美术设计、空间设计等领域。代表作《白熊的短裤》曾获第六届MOE绘本书店大奖第三名、第十八届日本绘本奖读者奖、第四届幼儿园绘本大奖等奖项。此外，著有《熊猫澡堂》《水果躲猫猫》《五颜六色的公交车》等。

Model checking领域的权威书籍

Model checking领域的权威书籍

In Obsession, John Douglas once again takes us fascinatingly behind the scenes, focusing his expertise on predatory crimes, primarily against women. With a deep sense of compassion for the victims and an uncanny understanding of the perpetrators, Douglas looks at the obsessions that lead to rape, stalking, and sexual murder through such cases as Ronnie Shelton, the serial rapis...(展开全部)

人人有罪，无人幸免。

几起离奇的谋杀案，揭开内心深藏的丑陋欲望 无论如何克制、逃避、抗拒 谁都可能着魔 有人为了爱，有人为了恨，有人为了权力，有人为了野心 我为你着魔，你却为谁着魔？

Our growing dependence on increasingly complex computer and software systems necessitates the development of formalisms, techniques, and tools for assessing functional properties of these systems. One such technique that has emerged in the last twenty years is model checking, which systematically (and automatically) checks whether a model of a given system satisfies a desired p...(展开全部)

Our growing dependence on increasingly complex computer and software systems necessitates the development of formalisms, techniques, and tools for assessing functional properties of these systems. One such technique that has emerged in the last twenty years is model checking, which systematically (and automatically) checks whether a model of a given system satisfies a desired p...(展开全部)

Paul Nicklen's bold expeditions take him underwater to deliver close-up, first-ever documentation of the lives of leopard seals, whales, walruses, polar bears, bearded seals, and narwhals. And he travels over the ice to look at muskoxen, grizzly bears, caribou, foxes, wolves, and much more. Scenes are bathed in polar light, surreal and breathtakingly beautiful. National Geograp...(展开全部)